process algebraの例文

• As with most process algebras, PEPA is a parsimonious language.
• Hidden algebra generalizes process algebra and transition system approaches.
• Currently, in TAPAs, is considered two process algebras : CCSP and PEPA.
• Processes and process systems are composed by using the operators of a given process algebra.
• The language extends classical process algebras such as CSP by introducing probabilistic branching and timing of transitions.
• Process algebra has been studied for discrete time and continuous time ( real time or dense time ).
• Other ways of modelling concurrent computation have been proposed, including process algebra, the actor model, and trace theory.
• The ToolBus is a component interconnection architecture ( somewhat like D-Bus or CORBA ) based on a process algebra formalism.
• The language extends classical process algebras such as Milner's CCS and Hoare's CSP by introducing probabilistic branching and timing of transitions.
• "' occam "'is a concurrent programming language that builds on the communicating sequential processes ( CSP ) process algebra, and shares many of its features.
• The approach taken in developing CSP into a process algebra was influenced by Robin Milner's work on the Calculus of Communicating Systems ( CCS ), and vice versa.
• Current research interests include parallel algorithms, performance engineering, queueing theory, stochastic models and stochastic process algebra, particularly the application of RCAT to find product-form solutions.
• "' PEPA "'( Performance Evaluation Process Algebra ) is a stochastic process algebra designed for modeling computer and communication systems introduced by Jane Hillston in the 1990s.
• "' PEPA "'( Performance Evaluation Process Algebra ) is a stochastic process algebra designed for modeling computer and communication systems introduced by Jane Hillston in the 1990s.
• The first sense dominates in areas of mathematics and logic that deal with the formal description of languages and their meaning, such as formal language theory, mathematical logic and process algebra.
• His postdoctorate research saw some of the first applications of process algebra to the study of the behaviour of animals and disease processes, which led to his interest in the correctness of simulation models.
• "' Performance Evaluation Process Algebra "'( "'PEPA "') is a stochastic process algebra designed for modelling computer and communication systems introduced by Jane Hillston in the 1990s.
• "' Performance Evaluation Process Algebra "'( "'PEPA "') is a stochastic process algebra designed for modelling computer and communication systems introduced by Jane Hillston in the 1990s.
• In 1982 Jan Bergstra and Jan Willem Klop began work on what came to be known as the Algebra of Communicating Processes ( ACP ), and introduced the term " process algebra " to describe their work.
• Description : Robin Milner's A Calculus of Communicating Systems ( CCS ) paper describes a process algebra permitting systems of concurrent processes to be reasoned about formally, something which has not been possible for earlier models of concurrency ( semaphores, critical sections, original CSP ).